Algebraic semantics - PDFSEARCH.IO - Document Search Engine

Algebraic semantics
Results: 56

#	Item
31	Suszko and the non-Fregean-Logics Add to Reading List Source URL: www.ontologyafrica.com Language: English - Date: 2013-12-07 03:34:42 Philosophy of language Classical logic Mathematical logic Jerzy Perzanowski Gottlob Frege Interpretation Algebraic logic Formal semantics Modal logic Logic Propositional calculus Philosophical logic
32	Suszko and the non-Fregean-Logics Add to Reading List Source URL: www.ontologymirror.com Language: English - Date: 2013-12-29 03:31:18 Philosophy of language Classical logic Mathematical logic Jerzy Perzanowski Gottlob Frege Interpretation Algebraic logic Formal semantics Modal logic Logic Propositional calculus Philosophical logic
33	Suszko and the non-Fregean-Logics Add to Reading List Source URL: www.ontologyasia.com Language: English - Date: 2013-12-06 06:46:29 Philosophy of language Classical logic Mathematical logic Jerzy Perzanowski Gottlob Frege Interpretation Algebraic logic Formal semantics Modal logic Logic Propositional calculus Philosophical logic
34	Probabilistic Semantics for Modal Logic By Tamar Ariela Lando A dissertation submitted in partial satisfaction of the requirements for the degree of Add to Reading List Source URL: philosophy.columbia.edu Language: English - Date: 2012-07-23 14:04:24 Philosophical logic Model theory Non-classical logic Guggenheim Fellows Kripke semantics Modal logic Saul Kripke Algebraic semantics Dana Scott Logic Mathematical logic Mathematics
35	Under consideration for publication in Formal Aspects of Computing Guaranteeing Convergence of Distributed Systems: From Specification to Implementation via Refinement K. Mani Chandy1 , Brian Go1 , Sayan Mitra2 , Concet Add to Reading List Source URL: leecenter.caltech.edu Language: English - Date: 2009-05-07 18:44:00 Ring Ring theory Summation Predicate transformer semantics Mathematics Algebraic structures Structure
36	Linear process algebra LPA Vaughan Pratt Stanford University ICDCIT 2011 Bhubaneswar, Orissa, India Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2011-02-20 14:08:46 Linear algebra Mathematical structures Algebraic structures Bhubaneswar Denotational semantics Linear map Vector space Matrix Algebra Mathematics Abstract algebra
37	on permutation in simplified semantics Greg Restall and Tony Roy Philosophy Department The University of Melbourne [removed] Add to Reading List Source URL: www.consequently.org Language: English - Date: 2009-03-11 07:05:07 Valuation Natural deduction Homotopy theory Gelfand pair Abstract algebra Algebraic geometry Field theory
38	EXPRESS[removed]Event Structure Spans for Nondeterministic Dataflow Lucy Saunders-Evans Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2006-10-19 12:06:43 Logic in computer science Algebraic topology Denotational semantics Sheaf Quasigroup Abstract algebra Mathematics Theoretical computer science
39	On induction vs. -continuity Add to Reading List Source URL: www.cs.cornell.edu Language: English* - Date: 2013-06-11 18:45:23 Algebraic structures Kripke semantics Boolean algebra Model theory Kleene algebra Boolean algebras canonically defined C*-algebra Mathematics Mathematical logic Logic
40	Weakest Preconditions for High-Level Programs Annegret Habel1 , Karl-Heinz Pennemann1 , and Arend Rensink2 1 University of Oldenburg, Germany⋆⋆ {habel,pennemann}@informatik.uni-oldenburg.de 2 Add to Reading List Source URL: formale-sprachen.informatik.uni-oldenburg.de Language: English - Date: 2006-06-21 08:43:28 Algebra Morphisms Algebraic geometry Predicate transformer semantics Program logic Pushout Graph rewriting Epimorphism Ample line bundle Abstract algebra Mathematics Category theory

UPDATE